Fluted moraine surfaces

Tapered, Fluted Femoral Fixation

CLINICAL/SURGICAL PEARLS: 1. Determining the highest level of supportive femoral bone is important to place the taper into this bone. An extended trochanteric osteotomy is useful for removal of the old stem and facilitates placement of a relatively straight, tapered, fluted stem down a bowed femur, thus preventing anterior perforation of the stem through the anterior cortex. The intact diaphysi...

Fluted Formulas and the Limits of Decidability

In the predicate calculus, variables provide a flexible indexing service that selects the actual arguments to a predicate letter from among possible arguments that precede the predicate letter (in the parse of the formula). In the process of selection, the possible arguments can be permuted, repeated (used more than once), and skipped. If this serviCe is withheld, so that arguments must be the ...

Quine's Fluted Fragment is Non-Elementary

We study the fluted fragment, a decidable fragment of first-order logic with an unbounded number of variables, originally identified by W.V. Quine. We show that the satisfiability problem for this fragment has non-elementary complexity, thus refuting an earlier published claim by W.C. Purdy that it is in NExpTime. More precisely, we consider, for all m greater than 1, the intersection of the fl...

Bird Hybrids in the Kettle Moraine

Soil transport on a moraine foreslope